Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Reactive systems, barbed semantics, and the Mobile Ambients
2009-01-01 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Saturated LTSs for adhesive rewriting systems
2010-01-01 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO
SelfLens: a personal assistive technology to support the independence of people with special needs in reading information on food items
2020-01-01 Galesi, G; Giunipero, L; Leporini, B; Pagliucoli, F; Quatraro, A; Verdi, G.
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
2012-01-01 Mancarella, PAOLO MARIA; Toni, F.
Service-Oriented and Cloud Computing – 8th IFIP WG 2.14 European Conference, ESOCC 2020.
2020-01-01 Brogi, A.; Zimmermann, W.; Kritikos, K.
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
2016-01-01 Milazzo, Paolo; Varró, Daniel; Manuel, Wimmer
Specifying graph languages with type graphs
2017-01-01 Corradini, Andrea; Koenig, Barbara; Nolte, Dennis
Term graph rewriting for the π-calculus
2003-01-01 Gadducci, Fabio
A tool for the modelling and simulation of ecological systems based on grid systems
2015-01-01 Setiawan, Suryana; Cerone, Antonio; Milazzo, Paolo
Toward Community Driven Interest Management for Distributed Virtual Environments
2013-01-01 Dazzi, Patrizio; Carlini, Emanuele; Mordacchini, Matteo; Ricci, Laura
Towards the Computational Assessment of the Conservation Status of a Habitat
2023-01-01 Manh, X. H.; Gigante, D.; Angiolini, C.; Bagella, S.; Caccianiga, M.; Angelini, F.; Garabini, M.; Remagnino, P.
Using of 3D virtual reality electromagnetic navigation for challenging cannulation in FEVAR procedure
2017-01-01 Piazza, Roberta; Condino, Sara; Alberti, Aldo; Giannetti, Davide; Ferrari, Vincenzo; Gesi, Marco; Ferrari, Mauro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile